人们期待量子计算机在密码分析 [1-3]、物理学 [4-6] 和化学 [7-9] 等各种应用领域中的表现都超越传统计算机。量子计算机优势的另一方面在于其易受噪声影响。因此,要想从量子计算机中获益,就必须设计一种有效的协议来检查量子计算机是否输出了正确的答案,这项任务称为量子计算验证 [10-12]。人们可能认为,如果能够创建足够数量的量子比特来进行量子纠错 [13],验证协议就毫无用处了;然而,事实并非如此,因为仍然需要检查已实施的量子纠错方案是否有效。多个小规模实验 [14-17] 已经证明了可验证量子信息处理的实现取得了进展。